Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
911	PRIME ORDER PRIMITIVE SUBGROUPS IN TORUS-BASED CRYPTOGRAPHY JASON E. GOWER Abstract. We use the Bateman-Horn conjecture to study the order of the set of Fq -rational points of primitive subgroups that arise in torus-base Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-12-06 18:43:19 Analytic number theory Integer sequences Field theory Bateman–Horn conjecture Finite field Algebraic torus Separable extension Number theory Field extension Abstract algebra Mathematics Algebra
912	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2012-09-17 05:11:28 NP-complete problems Vertex cover Approximation algorithm Cubic graph Feedback arc set Dominating set Graph theory Theoretical computer science Mathematics
913	Evaluating State-Space Abstractions in Extensive-Form Games Michael Johanson and Neil Burch and Richard Valenzano and Michael Bowling University of Alberta Edmonton, Alberta Add to Reading List Source URL: poker.cs.ualberta.ca Language: English - Date: 2013-03-07 18:13:10 Problem solving Abstraction Solution concept Extensive-form game Nash equilibrium Information set Strategy Determinacy Recall Game theory Mind Science
914	Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Burel1 , David Delahaye2 , Damien Doligez3 , Pierre Halmagrand2 , and Olivier Hermant4 1 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 10:39:09 Logic in computer science Proof theory Automated theorem proving Model theory Unification First-order logic Mathematical proof Combinatory logic Rewriting Logic Mathematics Mathematical logic
915	Logspace Versions of the Theorems of Bodlaender and Courcelle Michael Elberfeld Andreas Jakoby Add to Reading List Source URL: wwwmayr.informatik.tu-muenchen.de Language: English - Date: 2010-10-27 06:30:50 Graph operations Tree decomposition Tree Connectivity Dominating set Directed acyclic graph Graph Matching Clique Graph theory Mathematics Theoretical computer science
916	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Structure Lattice theory Algebraic structures Distributive lattice Complete Heyting algebra Duality Join and meet Lattice Partially ordered set Order theory Mathematics Abstract algebra
917	In the Mind of the Fractal King A reconstructed interview on life and fractals By Michael Segal Fully Referenced Version Our namesake, the nautilus, is not just a cultural and mythical object; it has also some rich (and Add to Reading List Source URL: static.nautil.us Language: English - Date: 2013-04-28 18:04:34 Mathematical analysis Benoit Mandelbrot Fractal art Fractal Chaos theory The Fractal Geometry of Nature Symmetry Mathematics and art Mandelbrot set Fractals Mathematics Dimension
918	Introduction Sometimes it happens in mathematics that, investigating some branch, some area of mathematical objects, we are forced to introduce new kind of objects which were not originally presumed to exist. There is a Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:49:59 Logic Model theory Infinity Real closed field Ultraproduct Zermelo–Fraenkel set theory Internal set theory Set theory Foundations of mathematics Mathematics Non-standard analysis Mathematical logic
919	CONTENTS 1. Nonstandard analysis on the real line 1. Introduction to nonstandard real line 2. Development of nonstandard analysis 1 Add to Reading List Source URL: www.ipm.ac.ir Language: English - Date: 2011-09-28 00:50:08 Abstract algebra Ultraproduct Internal set Set theory Real number Parametrization Zermelo–Fraenkel set theory Criticism of non-standard analysis Non-standard analysis Mathematics Mathematical logic
920	Global behavior of a plant-herbivore model Add to Reading List Source URL: www.advancesindifferenceequations.com Language: English Set theory Dynamical systems Curry–Howard correspondence Proof theory Type theory Ordinal arithmetic Mathematical logic Mathematics Ordinal numbers

UPDATE